;;; Segment .rodata (0000000000000AF0)
_IO_stdin_used		; 0000000000000AF0
	db	0x01, 0x00, 0x02, 0x00
0000000000000AF4             00 00 00 00 25 67 0A 00 00 00 00 00     ....%g......
double_size.21529		; 0000000000000B00
	dq	0x0000000000000004
